考虑

由于 , 有 , 于是当 充分大时,

从而 , 即 , 以之左乘第一式, 于是

证毕.